Introducing concurrency in sequential Java via laws

Introducing concurrency in sequential Java via laws

Nowadays multi-core processors can be found everywhere. It is well-known that one way of improving performance is by parallelization. In this paper we propose a parallelization strategy for Java using algebraic laws. We perform an experiment with two benchmarks and show that our strategy produces a gain similar to a specialized parallel version provided by the Java Grande Benchmark (JGB).

Methodology for Introducing Concurrency into Sequential Programs

Java Concurrency in Practice

QueuedSynchronizer, upon which most of the state dependent classes in java.util.concurrent are built(see Section 14.4), exploits the concept of exit protocol. Rather than letting synchronizer classes perform their ownnotification, it instead requires synchronizer methods to return a value indicating whether its action might haveunblocked one or more waiting threads. This explicit AP...

Declarative Concurrency in Java

We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on speci c program points of interest. Higher-level synchronization constraints on methods in a class may be de ned using these temporal constraints. The con...

Advanced concurrency control in Java

Developing concurrent applications is not a trivial task. As programs grow larger and become more complex, advanced concurrency control mechanisms are needed to ensure that application consistency is not compromised. Managing mutual exclusion on a per-object basis is not sufficient to guarantee isolation of sets of semantically-related actions. In this paper, we consider ‘atomic blocks’, a simp...